Stone duality

Results: 33



#Item
11Inside every model of Abstract Stone Duality lies an Arithmetic Universe Paul Taylor 8 May 2005 Abstract The first paper published on Abstract Stone Duality showed that the overt discrete objects

Inside every model of Abstract Stone Duality lies an Arithmetic Universe Paul Taylor 8 May 2005 Abstract The first paper published on Abstract Stone Duality showed that the overt discrete objects

Add to Reading List

Source URL: www.paultaylor.eu

Language: English - Date: 2009-02-12 13:08:05
    12Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

    Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

    Add to Reading List

    Source URL: www.margaretmorgan.com

    Language: English - Date: 2001-09-10 11:02:20
      13Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

      Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

      Add to Reading List

      Source URL: www.tac.mta.ca

      Language: English - Date: 2000-12-30 13:43:21
        14Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con

        Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con

        Add to Reading List

        Source URL: www.monad.me.uk

        Language: English - Date: 2009-02-12 13:08:48
          15Computably Based Locally Compact Spaces Paul Taylor June 29, 2004 Abstract Abstract Stone Duality is a re-axiomatisation of general topology in which the topology on a space is treated as an exponential object of the sam

          Computably Based Locally Compact Spaces Paul Taylor June 29, 2004 Abstract Abstract Stone Duality is a re-axiomatisation of general topology in which the topology on a space is treated as an exponential object of the sam

          Add to Reading List

          Source URL: www.paultaylor.eu

          Language: English - Date: 2009-02-12 13:10:52
            16Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con

            Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con

            Add to Reading List

            Source URL: www.paultaylor.eu

            Language: English - Date: 2009-02-12 13:08:48
            17Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c

            Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c

            Add to Reading List

            Source URL: www.paultaylor.eu

            Language: English - Date: 2009-02-12 13:26:18
            18The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con

            The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con

            Add to Reading List

            Source URL: www.paultaylor.eu

            Language: English - Date: 2009-06-03 17:25:38
            19Interval Analysis Without Intervals Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

            Interval Analysis Without Intervals Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

            Add to Reading List

            Source URL: www.paultaylor.eu

            Language: English - Date: 2009-02-12 12:34:48
            20Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

            Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o

            Add to Reading List

            Source URL: www.paultaylor.eu

            Language: English - Date: 2011-04-11 06:46:45